New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add socket port #1159

Merged

isstuev merged 1 commit into main from websocket-port

Sep 8, 2023

Collaborator

isstuev commented Sep 8, 2023 •

edited

Loading

resolves #1158


          add socket port

db5b0c1

isstuev requested a review from tom2drum

September 8, 2023 15:46

tom2drum approved these changes

View reviewed changes

isstuev merged commit e6ebf07 into main

isstuev deleted the websocket-port branch

September 8, 2023 16:36

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet